Free lattices proof-theoretically

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

About Free Lattices and Free Modular Lattices

Ralph Freese Department of Mathematics University of Hawaii at Manoa Honolulu, Hawaii 96822 In this paper we look at some of the problems on free lattices and free modular lattices which are of an order theoretic nature. We review some of the known results, give same new results, and present several open problems. Every countable partially ordered set can be order embedded into a countable free...

متن کامل

Free μ - lattices ∗

A μ-lattice is a lattice with the property that every unary polynomial has both a least and a greatest fix-point. In this paper we define the quasivariety of μ-lattices and, for a given partially ordered set P , we construct a μ-lattice JP whose elements are equivalence classes of games in a preordered class J (P ). We prove that the μ-lattice JP is free over the ordered set P and that the orde...

متن کامل

Free Groups in Lattices

Let G be any locally compact metrizable group. The main result of this paper, roughly stated, is that if F < G is any finitely generated free group and Γ < G any lattice, then up to a small perturbation and passing to a finite index subgroup, F is a subgroup of Γ. If G/Γ is noncompact then we require additional hypotheses that include G = SO(n, 1). MSC: 20E07, 20F65, 20F67, 22D40, 20E05.

متن کامل

Free Lattices over Halflattices

0. INTRODUCTION. Although the word problem for free lattices is well known to be solvable (cf. Dean [1]), the question still remains open to characterize the finite partial lattices P for which the free lattice F (P ) over P is finite. There are partial answers to this question. In Wille [5] the problem is solved for the partial lattices P that are both meet– and join–trivial in the sense that ...

متن کامل

Proof of Nishida’s conjecture on anharmonic lattices

We prove Nishida’s 1971 conjecture stating that almost all low-energetic motions of the anharmonic Fermi-Pasta-Ulam lattice with fixed endpoints are quasi-periodic. The proof is based on the formal computations of Nishida, the KAM theorem, discrete symmetry considerations and an algebraic trick that considerably simplifies earlier results.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: The Australasian Journal of Logic

سال: 2020

ISSN: 1448-5052

DOI: 10.26686/ajl.v17i2.6468